Confluence scour in coarse braided streams

A Confluence of Streams

Riprap sizing for scour protection at river confluence

River confluence is a common feature of most irrigation and drainage channels and river systems, where tributary conflicts the main channel. In these section, rapid changes in velocity and discharge, sediment distribution and flow turbulent result in a deep confluence scour, a bar point in the separation zone at downstream of junction corner  and finally vortex flow. Thus, the main goal of this...

Spatio-temporal scaling of channels in braided streams

The spatio-temporal scaling relationship for individual channels in braided streams is shown to be identical to the spatiotemporal scaling associated with constant Froude number, e.g. FrZ1. A means to derive this relationship is developed from a new theory of sediment transport. The mechanism by which the FrZ1 condition apparently governs the scaling seems to derive from the sensitivity of sedi...

Coinductive Proofs over Streams as CHR Confluence Proofs

Coinduction is an important theoretical tool for defining and reasoning about unbounded data structures (such as streams, infinite trees, rational numbers . . . ), and infinite-behavior systems. Confluence is a fundamental property of Constraint Handling Rules (CHR) since, as in other rewriting formalisms, it guarantees that the computations are not dependent on rule application order, and also...

Braided Clifford Algebras as Braided Quantum Groups

The paper deals with braided Clifford algebras, understood as Chevalley-Kähler deformations of braided exterior algebras. It is shown that Clifford algebras based on involutive braids can be naturally endowed with a braided quantum group structure. Basic group entities are constructed explicitly.